Enhancing the Message Concept of the Object Constraint Language
نویسنده
چکیده
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of OCL messages that enable modelers to put restrictions on messages sent. However, this concept shows some shortcomings with respect to the existing OCL language concepts. On the one hand, the proposed syntax does not quite conform to the established notation of OCL. On the other hand, the formal OCL semantics still lacks an integration of OCL messsages. This article reviews the syntax and semantics of OCL messages and presents a new approach to better integrate this concept with the rest of OCL 2.0.
منابع مشابه
A Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملTraining Language Teachers: An educational semiotic model
Abstract The changing culture toward multimodality enforces acquiring visual literacy in every aspect of today’s modern life. One of the fields intermingled with using various modes in different variations is language teaching and learning, especially for and by young learners. Young language learners’ (5-12 years old) lack of world experience forces them to make the most use of non-verbal mode...
متن کاملTraining Language Teachers: An educational semiotic model
Abstract The changing culture toward multimodality enforces acquiring visual literacy in every aspect of today’s modern life. One of the fields intermingled with using various modes in different variations is language teaching and learning, especially for and by young learners. Young language learners’ (5-12 years old) lack of world experience forces them to make the most use of non-verbal mode...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملA Summary Writing Model Based on Van Dijk’s Concept of Macrostructure and its Application within the Genre-Based Approach
This study was an attempt to provide a comprehensive model for summary writing based on the model of Van Dijk’s concept of macrostructures. The effectiveness of the model was examined in a genre-based quasi-experimental study with the data collection procedure lasting a semester. The participants included 60 female English learners divided into two experimental and control groups. The results o...
متن کامل